Trait isotope::ctx::eq::TermEqCtx [−][src]
pub trait TermEqCtx: TermEqCtxMut { fn term_eq(&self, left: &Term, right: &Term) -> Option<bool>; fn is_ty(&self, ty: &Term) -> Option<bool>; fn universe(&self, ty: &Term) -> Option<Universe>; }
Expand description
A type which may be used as a context for checking isotope
terms for equality
Required methods
Check two terms are equivalent within this structure
Check whether this term is equivalent to a type in this context